Theorem of Cauchy sequence